function $(id){
	return document.getElementById(id)
}